CURRICULUM VITAE Robert F. Murphy Ray and Stephanie Lane Professor of Computational Biology and Professor of Biological Sciences, Biomedical Engineering and Machine Learning Carnegie Mellon University 5000 Forbes Avenue

Source URL: murphylab.cbd.cmu.edu

Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA

Source URL: repository.readscheme.org

• Procedural programming languages
• Object-oriented programming languages
• Cross-platform software
• Functional languages
• ALGOL 68
• Type system
• D
• Inline expansion
• ARM architecture
• Bit array
• C
• Quantization

Joint Extraction of Events and Entities within a Document Context Bishan Yang Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA, 15213

Source URL: www.cs.cmu.edu

• Computational linguistics
• Natural language processing
• Semantics
• Lexical semantics
• Artificial intelligence
• Information extraction
• Named-entity recognition
• Argument
• Automatic Content Extraction
• Word-sense disambiguation
• Computational semantics
• Database trigger

Reading The Web with Learned Syntactic-Semantic Inference Rules Ni Lao1∗, Amarnag Subramanya2 , Fernando Pereira2 , William W. Cohen1 Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA 2 Google

Source URL: www.cs.cmu.edu

• Freebase
• Google Search
• Graph database
• Dependency grammar
• Shortest path problem
• Binary relation
• FO
• Graph

FRAUDAR: Bounding Graph Fraud in the Face of Camouflage Bryan Hooi, Hyun Ah Song, Alex Beutel, Neil Shah, Kijung Shin, Christos Faloutsos Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA

Source URL: alexbeutel.com

• Graph theory
• Coding theory
• Graph
• Bipartite graph
• Clique
• Belief propagation

Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email:

Source URL: repository.readscheme.org

• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Logical consequence
• Theorem
• Lambda calculus
• Rewriting
• Mathematical proof

WEDNESDAY August 26 88:30 a.m. Christian Ecumenical Morning Prayer 89:30 a.m.

Source URL: www.studentaffairs.cmu.edu

• Carnegie Mellon University
• Kohon
• Mellon College of Science
• Dietrich College of Humanities and Social Sciences
• Tepper School of Business
• Forbes Avenue

Aligned Cluster Analysis for Temporal Segmentation of Human Motion Feng Zhou, Fernando De la Torre, Jessica K. Hodgins Robotics Institute, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, Pennsylvaniazhf

Source URL: www.f-zhou.com

Subspace Constrained Mean-Shift CMU-RI-TRJason M. Saragih, Simon Lucey, and Jeffrey F. Cohn The Robotics Institute Carnegie Mellon University 5000 Forbes Avenue

Source URL: www.ri.cmu.edu

Separation Logic for a Higher-Order Typed Language [Extended Abstract] Neelakantan Krishnaswami Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

Source URL: www.mpi-sws.org